"Pierpaolo Degano" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computational Methods in Systems Biology

Pierpaolo Degano, Roberto Gorrieri

Категория: Математика, Вычислительная математика

6.64 Mb

#2

Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers ... Computer Science Security and Cryptology)

Pierpaolo Degano, Joshua D. Guttman

Категория: Компьютеры

3.05 Mb

#3

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science Lecture Notes in Bioinformatics)

Pierpaolo Degano, Roberto Gorrieri

Категория: Компьютеры

7.42 Mb

#4

Formal Aspects in Security and Trust (Lecture Notes in Computer Science, 5983)

Pierpaolo Degano, Joshua D. Guttman

Категория: Компьютеры

3.48 Mb

#5

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science Security and Cryptology)

Pierpaolo Degano, Luca Viganò

Категория: Компьютеры

2.60 Mb

#6

Formal Aspects of Security and Trust, 7th International Workshop, FAST 2010 Pisa, Italy, September 16-17, 2010 Revised

Pierpaolo Degano, Sandro Etalle, Joshua Guttman

2.82 Mb

#7

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)

Pierpaolo Degano, Luca Viganò

3.16 Mb

#8

Programming Languages and Systems, 12 conf., ESOP 2003

Pierpaolo Degano

Категория: Cs_Computer science, CsLn_Lecture notes

3.64 Mb

#9

Automata, Languages and Programming, 24 conf., ICALP97

Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

Категория: Cs_Computer science, CsLn_Lecture notes

10.31 Mb

#10

Concurrency, Graphs and Models

Pierpaolo Degano, Rocco de Nicola, José Meseguer

Категория: CsLn_

10.15 Mb

#11

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Pierpaolo Degano, Rocco de Nicola, José Meseguer

Категория: Computer Science, Computer Science

24.22 Mb

#12

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

11.98 Mb